Click any tag below to further narrow down your results
Links
Anthropic's Frontier Red Team used Claude, with Theorem Labs, to prove security properties across more than a hundred real open-source libraries in a few weeks. The point is that formal verification, which used to be limited to small codebases or required heavy expert time, may now be practical at scale.
- Formal verification can prove code is free of certain classes of bugs, but has historically been limited to small codebases or costly expert effort.
- Claude was used to prove security properties in over one hundred real-world open-source libraries over a span of a few weeks.
- The work was done in collaboration with Theorem Labs, and the full research is on Anthropic's site.